Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
📋Backus-Naur Form
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·2d·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
λLambda Calculus
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
⚡Incremental Parsing
GaloisInc/parameterized-utils
github.com·2d
📏Linear Haskell
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💬Interactive REPLs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Item Patterns and Struct Await
noratrieb.dev·13h·
Discuss: Hacker News
🛡️Error Handling
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
🎭Staged Interpreters
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·5h·
Discuss: DEV
💬Interactive REPLs
Unforgettable factory revisited
holyblackcat.github.io·14h·
Discuss: r/cpp
🪆Embedded DSLs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·17h·
Discuss: Hacker News, r/programming
📝Rope Editors
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.com·1d
🚂Cranelift Backend
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🧮Combinator Calculus
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·1d·
Discuss: DEV
📦Monorepos